package folexpr.compiler.visitors.b_implication;

import folexpr.compiler.visitors.VisitResult;

public class ImplicReductionVisitResult extends VisitResult
{	
	private boolean nodeListOptionalEmpty;
	
	public ImplicReductionVisitResult()
	{
		super();
		this.nodeListOptionalEmpty = true;
	}
	
	//////////////////////////////////////////////////////////////////////////////////////////
	
	public void addResultString(String s) {
		this.resultExpr = this.resultExpr + s ;
	}
	
	@Override public String toString() {
		return "STRINGA=" + this.getResultExpr() + " NODE(SEQUENCE or LISTOPTIONAL)-EMPTY=" + this.isNodeListOptionalEmpty();
	}

	///////////////////////////  GETTERs AND SETTERs  ////////////////////////////////////////

	public boolean isNodeListOptionalEmpty() {
		return nodeListOptionalEmpty;
	}
	public void setNodeListOptionalEmpty(boolean nodeListOptionalEmpty) {
		this.nodeListOptionalEmpty = nodeListOptionalEmpty;
	}

}
